|
| This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies.
For more information visit Aigaion.nl. |  |
|
| [RACTI-RU1-2007-84] Kaporis, Alexis, Kirousis, Lefteris, Stamatiou, Yannis, Vamvakari, Malvina and Zito, Michele, The unsatisfiability threshold revisited., in: Discrete Applied Mathematics, volume 155, number 12, pages 1525-1538, 2007. [DOI] |
|
| Keywords: | Phase transition; Complexity; Satisfiability; Probabilistic analysis
|
|
|
|
|
|
